how many coins of ethereum were pre mined